метод формальных описаний

См. также в других словарях:

• метод формальных описаний — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN formal description techniqueFDT …   Справочник технического переводчика

• АКСИОМАТИЧЕСКИЙ МЕТОД —         способ построения науч. теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы, или постулаты, из которых все остальные утверждения этой теории должны выводиться чисто логич. путём, посредством… …   Философская энциклопедия

• Роман — Роман. История термина. Проблема романа. Возникновение жанра. Из истории жанра. Выводы. Роман как буржуазная эпопея. Судьбы теории романа. Специфичность формы романа. Зарождение романа. Завоевание романом обыденной действительности …   Литературная энциклопедия

• Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… …   Энциклопедия инвестора

• КИБЕРНЕТИКА — наука об управлении, связи и переработке информации (буквально искусство управления рулем ). Первым, кто употребил этот термин для управления в общем смысле, был, по видимому, древнегреческий философ Платон. А. М. Ампер (А. М. Ampere, 1834)… …   Математическая энциклопедия

• ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …   Философская энциклопедия

• ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… …   Философская энциклопедия

• ЭТНОМЕТОДОЛОГИЯ —         одно из направлений в совр. культурологии и социологии, продолжающее традиции феноменологич. подхода к изучению социальной реальности. Основатель Э. амер. социолог Г. Гарфинкель, автор книги “Исследования по этнометодологии”, 1967. С тех… …   Энциклопедия культурологии

• Теория романа — Теория романа  разнородные литературоведческие учения, объясняющие жанровую природу и историю романа. Классическая литературная теория, от эпохи эллинизма (начало нашей эры) до позднего классицизма (XVIII век), игнорирует существование… …   Википедия

• Сравнение C Sharp и Java — Правильный заголовок этой статьи  Сравнение C# и Java. Он показан некорректно из за технических ограничений. Сравнения языков программирования Общее сравнение Основной синтаксис Основные инструкции Массивы Ассоциативные массивы Операции со… …   Википедия

• ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность …   Философская энциклопедия